let (_ : exn & (Failure _)) = exn ()